R7RS Considered Unifier of Previous Standards ∗ William D Clinger Northeastern University Abstract

Source URL: andykeep.com

• Scheme
• Programming language implementation
• Ikarus
• Scripting languages
• Macro
• Racket
• CHICKEN
• Kawa
• Hygienic macro
• Gauche
• John W. Cowan
• Larceny

Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role

Source URL: web.ist.utl.pt

• Software
• Computing
• Compiler construction
• Programming language implementation
• Compiler optimizations
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Optimizing compiler
• Static single assignment form
• Compiler
• Psyco

Published as a conference paper at ICLRJ OINT RNN-BASED G REEDY PARSING C OMPOSITION AND

Source URL: ronan.collobert.com

• Parsing algorithms
• Artificial neural networks
• Compiler construction
• Programming language implementation
• Software
• Natural language processing
• Formal languages
• Parsing
• Computational neuroscience
• Recursive neural network
• Word embedding
• Dependency grammar

Ilya Sergey C URRICULUM V ITÆ February 2016

Source URL: ilyasergey.net

• Computing
• Software engineering
• Computer programming
• Functional languages
• Scripting languages
• Symposium on Principles of Programming Languages
• International Conference on Functional Programming
• Object-oriented programming languages
• Programming Language Design and Implementation
• SIGPLAN
• Actor model
• European Symposium on Programming

How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored

Source URL: www.hboehm.info

• Computing
• Software engineering
• Software
• Compiler construction
• Concurrency
• Programming language implementation
• Parallel computing
• Memory model
• Volatile
• Java memory model
• OpenMP
• Optimizing compiler

Microsoft Word - OOPSLA_DSM07_Paper_v14.doc

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Computer programming
• Programming language implementation
• Compiler optimizations
• Information flow
• Information theory
• Interpreter
• Variable
• Verilog
• For loop
• Control flow

Teaching Programming Language Design and Implementation What? To Whom? How? Michael Hind

Source URL: wp.acm.org

Better Tiling and Array Contraction for Compiling Scientific Programs ∗ Geoff Pike and Paul N. Hilfinger Computer Science Division University of California at Berkeley {pike,hilfinger}@cs.berkeley.edu

Source URL: titanium.cs.berkeley.edu

• Compiler optimizations
• Compiler construction
• Optimizing compiler
• Programming language implementation
• Foreach loop
• Aliasing
• Automatic parallelization
• GNU Compiler Collection
• Loop tiling